digraph TS_TARGET {
S1 -> S2 [label="a"]
S1 -> S2 [label="b"]
S2 -> S1 [label="c"]
[initial = {S1} ]
[final = {S1} ]
}
